Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
نویسندگان
چکیده
منابع مشابه
Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
Vector logic is a matrix–vector representation of the logical calculus inspired in neural network models. In this algebraic formalism, the truth values map on orthonormal Q-dimensional vectors, the monadic operations are represented by square matrices, and the dyadic operations produce rectangular matrices that act on the Kronecker product of the vector truth values. In this formalism, the theo...
متن کاملLogic Gates and Logical Equivalence of Adders
This is an experimental article which shows that logical correctness of logic circuits can be easily proven by the Mizar system. First, we define the notion of logic gates. Then we prove that an MSB carry of ’4 Bit Carry Skip Adder’ is equivalent to an MSB carry of a normal 4 bit adder. In the last theorem, we show that outputs of the ’4 Bit Carry Look Ahead Adder’ are equivalent to the corresp...
متن کاملChaos Computing: Implementation of Fundamental Logical Gates by Chaotic Elements
Basic principles of implementing the most fundamental computing functions by chaotic elements are described. They provide a theoretical foundation of computer architecture based on a totally new principle other than silicon chips. The fundamental functions are: the logical AND, OR, NOT, XOR, and NAND operations (gates) and bit-by-bit arithmetic operations. Each of the logical operations is real...
متن کاملMathematical Analysis of Logical Masking Capability of Logic Gates
In this paper, logical masking capability of commonly used logic gates such as NOT, AND/NAND, OR/NOR, and XOR/XNOR, when subject to single/multiple input faults, are analyzed from a mathematical perspective. A new metric, called Gate Error Metric (GEM) is proposed to study the extent of output error in these gates when subject to potential input fault occurrences, where less value of GEM implie...
متن کاملDiscrete Vector Fields and Fundamental Algebraic Topology
2 Discrete vector fields. 4 2.1 W-contractions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Algebraic discrete vector fields. . . . . . . . . . . . . . . . . . . . . 6 2.3 V-paths and admissible vector fields. . . . . . . . . . . . . . . . . . 7 2.4 Reductions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.4.1 Definition. . . . . . . . . . . . . . . . . ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2007
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exm057